Assert $l_{1}$ = nth\_tl($\parallel$$l_{2}$$\parallel$ {-} $\parallel$$l_{1}$$\parallel$;$l_{2}$)